Add Bug#.

diff --git a/src/ChangeLog b/src/ChangeLog
index 66d10c6508ea13ad946ed1b4747f1210c5b6c68e..6723dc4b5624154e6318c936a9c9a188116591cc 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -3,7 +3,7 @@
        * charset.h (struct charset.code_space): Now has 15 elements, not 16.
        * charset.c (Fdefine_charset_internal): Don't initialize
        charset.code_space[15].  The value was garbage, on hosts with
-       32-bit int.
+       32-bit int (Bug#8600).
 
 2011-04-30  Eli Zaretskii  <eliz@gnu.org>